Donne al vertice e impresa cooperativa: quali prospettive?

Apoio Automatizado à Gerência de Riscos Cooperativa

Software process is inherently cooperative. During its activities, developers work together in order to develop a quality product. Especially, project managers are involved in decision make activities that can drive the project to success or failure. Those activities are better performed by experienced people, when developers work cooperatively, and when knowledge is shared. In this paper, we p...

Cylindri al Surfa e Pasting

The Mannerist painter and Donne : a correlation of the arts

Statistical Procedures for Machine and Process Quali

Simplifying and Improving Quali ed Types

Qualiied types provide a general framework for constrained type systems , with applications including type class overloading, subtyping and record calculi. This paper presents an extended version of the type inference algorithm used in previous work, that can take account of the satissability of constraints to obtain more accurate principal types. The new algorithm is obtained by adding two new...